(= (mod 5 2) 1)
